<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>camkes-3.8.x-compatible | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/updates/sel4-tutorials">
              <span property="name"><b>seL4 tutorials Recent Updates</b></span>
            </a>
            <meta property="position" content="2" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">camkes-3.8.x-compatible</span>
            <meta property="position" content="3" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">
















</div>

  </div>
  <div class="content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="updates-to-sel4-tutorials-from-camkes-37x-to-camkes-380">Updates to sel4-tutorials from camkes-3.7.x to camkes-3.8.0</h1>

<h2 id="external">External</h2>

<ul>
  <li>Add <code class="language-plaintext highlighter-rouge">fault-handlers</code> tutorial for learning about fault handlers.</li>
  <li><code class="language-plaintext highlighter-rouge">mcs</code>: Add section describing difference between mainline and mcs kernel APIs
for registering fault handlers.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-timer</code> tutorial: Fix init script to pick the correct tutorial.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-[1-2]</code>: Hide tutorial files from instructions</li>
  <li><code class="language-plaintext highlighter-rouge">interrupts</code>: Remove sample output that doesn’t appear in practice.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-2</code>: Update exit text test to match actual output.</li>
  <li><code class="language-plaintext highlighter-rouge">mcs</code>: reduce spinner budget for final task to ensure timeout behavior happens correctly.</li>
  <li><code class="language-plaintext highlighter-rouge">libraries-4</code>: Correctly initalize a stack variable.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-timer</code>: Use device tree for binding timer component to device and update tutorial.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-timer</code>: Add part-2 to tutorial for describing how to use new seL4DTBHardware camkes connector.</li>
  <li><code class="language-plaintext highlighter-rouge">camkes-vm-crossvm</code>: Add error message if build configuration is incorrect.</li>
  <li><code class="language-plaintext highlighter-rouge">dynamic-4</code>: Remove duplicate vspace init function.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-2</code>: Fix error in hint in task 8.</li>
  <li>Refactor tutorial build system to better match typical usage in other project. Previously the tutorials indicated
that their build scripts shouldn’t be used outside of the tutorial project, but this is no longer the case.</li>
  <li><code class="language-plaintext highlighter-rouge">libraries-4</code>: Update platform timer API’s to use ltimer interface.</li>
  <li><code class="language-plaintext highlighter-rouge">mcs</code>: Support running tutorial on kernel master branch since mcs branch was merged.</li>
  <li><code class="language-plaintext highlighter-rouge">mapping</code>: Remove seL4_X86_Page_Remap invocation from tutorial as kernel function had been removed.</li>
  <li><code class="language-plaintext highlighter-rouge">libraries-1</code>: fix completion text for task-3.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-1</code>: Update instructions to match source code layout.</li>
  <li><code class="language-plaintext highlighter-rouge">untyped</code>: Make sure that untyped being used in tutorial doesn’t correspond to a device.</li>
</ul>

<h2 id="internal">Internal</h2>
<ul>
  <li>Update usage of <code class="language-plaintext highlighter-rouge">capdl_linker</code> tool to newer API.</li>
  <li>Specify TCB CapDL attributes at allocation point.</li>
  <li><code class="language-plaintext highlighter-rouge">capdl-ld</code>: Add newly required <code class="language-plaintext highlighter-rouge">--keys</code> argument.</li>
  <li>add <code class="language-plaintext highlighter-rouge">.stylefilter</code> for style tooling.</li>
  <li>Style scripts.</li>
  <li>Update scripts from <code class="language-plaintext highlighter-rouge">python2</code> to <code class="language-plaintext highlighter-rouge">python3</code>.</li>
  <li><code class="language-plaintext highlighter-rouge">hello-camkes-timer</code>: Correctly configure device tree tooling.</li>
  <li>Port tutorials to use new <code class="language-plaintext highlighter-rouge">sel4runtime</code>.</li>
  <li>Add support for custom build configuration <code class="language-plaintext highlighter-rouge">settings.cmake</code> files for each tutorial.</li>
  <li>Remove dependence on global <code class="language-plaintext highlighter-rouge">Configuration</code> library.</li>
</ul>


  </div>







  
  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
  
    <ul class="section-nav">
    	<h2> seL4 tutorials </h2> 
        <li>
          
          <a style="" class="" href="/projects/sel4-tutorials/">
            Documentation homepage
          </a>
        </li>

















    
        <h3>Repositories</h3>
    
        <li>
          <a class="" href="https://github.com/sel4proj/sel4-tutorials">
            sel4-tutorials
          </a>
        </li>

    
        <li>
          <a class="" href="https://github.com/sel4proj/sel4-tutorials-manifest">
            sel4-tutorials-manifest
          </a>
        </li>









  







    
        <h3>Recent Updates</h3>
    
        <li>
          <a style=" font-weight: bold; " href="/updates/sel4-tutorials/camkes-3.8.x.html">
            camkes-3.8.x-compatible
          </a>
        </li>

    </ul>

</div>


</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/content_collections/_updates/sel4-tutorials/camkes-3.8.x.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/content_collections/_updates/sel4-tutorials/camkes-3.8.x.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
